Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 13.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003361 | Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
| 004C68 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-Based Systems |
| 004E53 | Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
| 004E81 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-based Systems |
| 005232 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
| 005824 | Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Component-Based Software and System Development |
| 006481 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
| 006482 | Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
| 006C44 | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
| 007963 | Christine Choppy [France] ; Maritta Heisel [Allemagne] | Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs |
| 008728 | Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquières [France] | Toward a Formal Model of Software Components |
| 00AA60 | Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
| 00BB98 | Maritta Heisel [Allemagne] ; Nicole Lévy [France] | Using LOTOS patterns to characterize architectural styles |
| This area was generated with Dilib version V0.6.33. |  |